home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont12 < prev    next >
Encoding:
Text File  |  1990-02-27  |  657 b   |  27 lines  |  [TEXT/Help]
  1.  
  2. DEUX+DEUX+DEUX+NEUF+NEUF=FULL
  3.  
  4. (r0 f x l r1 u r2 e n d)
  5.  
  6. ((0 1 2 3 4)
  7.  (0 1 2 3 4 5 6 7 8 9)
  8.  (0 1 2 3 4 5 6 7 8 9)
  9.  (0 1 2 3 4 5 6 7 8 9)
  10.  (0 1 2 3 4)
  11.  (0 1 2 3 4 5 6 7 8 9)
  12.  (0 1 2 3 4)
  13.  (0 1 2 3 4 5 6 7 8 9)
  14.  (0 1 2 3 4 5 6 7 8 9)
  15.  (0 1 2 3 4 5 6 7 8 9))
  16.  
  17. ((=? (+ (* 3 x)(+ f f)) (+ l (* 10 r0)))
  18.  (=? (+ (* 5 u) r0) (+ l (* 10 r1)))
  19.  (=? (+ (* 5 e) r1) (+ u (* 10 r2)))
  20.  (=? (+ (* 3 d) (+ (+ n n) r2)) f)
  21.  (<>? f u) (<>? f l) (<>? f x) (<>? f e)
  22.  (<>? f n) (<>? f d) (<>? u l) (<>? u x)
  23.  (<>? u e) (<>? u n) (<>? u d) (<>? l x)
  24.  (<>? l e) (<>? l n) (<>? l d) (<>? x e)
  25.  (<>? x n) (<>? x d) (<>? e n) (<>? e d)
  26.  (<>? n d) (<>? d 0) (<>? n 0) (<>? f 0))
  27.